Formalising Reuse of Reasoning Components

Our current research focusses on a formalisation of the reuse of (complex) reasoning components. In section 2, standardisation and abstraction of the structure of components are formalised by means of the notion of compositional architectures [Brazier et al., 1994g] in the context of the DESIRE framework [Langevelde et al., 1992]. In section 3, meta-knowledge about the (functionality of) components and (generic) task models needed for retrieval is briefly described. In section 4, the process of modification is formalised in terms of a generic task model of design [Brazier et al., 1994b]. Section 5 concludes with a brief discussion.